
char * print_int (int val, char *buf, int buflen, size_t *print_len);


char * print_hex(unsigned short uval, char *buf, int buflen, size_t *print_len);

